exports_files([
    "disc-opt/disc-opt.cc",
    "disc-source-emitter/disc-cuda-emitter.cc",
    "disc-pdll/disc-pdll.cc"
])